(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v4 Bool)
(declare-const v6 Bool)
(declare-const v7 Bool)
(declare-const v11 Bool)
(assert (xor v1 v2 v4 v2 v1 v11 v2 v11 v7 v6 v7))
(push)
(pop)
(check-sat)
